McIver, Annabelle : rechercher sur Z-Library

Année:

2018

Langue:

english

Fichier:

PDF, 962 KB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || How Fast Is MQTT?

Carroll Morgan, Annabelle McIver

Année:

2018

Langue:

english

Fichier:

PDF, 528 KB

english, 2018

Unifying wp and wlp

Journal:

Information Processing Letters

Année:

1996

Langue:

english

Fichier:

PDF, 372 KB

english, 1996

Probabilistic Guarded Commands Mechanized in HOL

Joe Hurd, Annabelle McIver, Carroll Morgan

Journal:

Carroll Morgan, Annabelle McIver

Année:

2005

Langue:

english

Fichier:

PDF, 317 KB

english, 2005

Memoryless Strategies for Stochastic Games via Domain Theory

Journal:

Joe Hurd, Annabelle McIver, Carroll Morgan

Année:

2005

Langue:

english

Fichier:

PDF, 291 KB

english, 2005

Probabilistic guarded commands mechanized in HOL

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 154 KB

english, 2005

Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 261 KB

english, 2003

Almost-Certain Eventualities and Abstract Probabilities in Quantitative Temporal Logic

Journal:

Carroll Morgan, Annabelle McIver, Karen Seidel, J. W. Sanders

Année:

2001

Langue:

english

Fichier:

PDF, 253 KB

english, 2001

Refinement-oriented probability for CSP

Journal:

Formal Aspects of Computing

Année:

1996

Langue:

english

Fichier:

PDF, 1.54 MB

english, 1996

A Novel Stochastic Game Via the Quantitative μ-calculus

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 366 KB

english, 2006

An elementary proof that Herman's Ring is

Information Processing Letters

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 104 KB

english, 2005

Preface: Special Issue QFM 2009

Suzana Andover, Annabelle McIver, Manuel Nunez

Journal:

The Journal of Logic and Algebraic Programming

Année:

2012

Langue:

english

Fichier:

PDF, 158 KB

english, 2012

[Monographs in Computer Science] Programming Methodology ||

McIver, Annabelle, Morgan, Carroll

Année:

2003

Langue:

english

Fichier:

PDF, 36.91 MB

english, 2003

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

Gretz, Friedrich, Katoen, Joost-Pieter, McIver, Annabelle

Journal:

Performance Evaluation

Année:

2014

Langue:

english

Fichier:

PDF, 811 KB

english, 2014

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - CaVi -- Simulation and Model Checking for Wireless Sensor Networks

Boulis, Athanassios, Fehnker, Ansgar, Fruth, Matthias, McIver, Annabelle

Année:

2008

Langue:

english

Fichier:

PDF, 266 KB

english, 2008

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism

McIver, Annabelle, Meinicke, Larissa, Morgan, Carroll

Année:

2012

Langue:

english

Fichier:

PDF, 298 KB

english, 2012

[IEEE 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST) - London, United Kingdom (2012.09.17-2012.09.20)] 2012 Ninth International Conference on Quantitative Evaluation of Systems - Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language

Gretz, Friedrich, Katoen, Joost-Pieter, McIver, Annabelle

Année:

2012

Langue:

english

Fichier:

PDF, 366 KB

english, 2012

Hidden-Markov program algebra with iteration

MCIVER, ANNABELLE, MEINICKE, LARISSA, MORGAN, CARROLL

Journal:

Mathematical Structures in Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 601 KB

english, 2015

Results on the quantitative μ-calculus qM μ

McIver, Annabelle, Morgan, Carroll

Journal:

ACM Transactions on Computational Logic

Année:

2007

Langue:

english

Fichier:

PDF, 673 KB

english, 2007

[ACM Press the 16th annual joint conference - Darmstadt, Germany (2011.06.27-2011.06.29)] Proceedings of the 16th annual joint conference on Innovation and technology in computer science education - ITiCSE '11 - Continual and explicit comparison to promote proactive facilitation during second computer language learning

Bower, Matt, McIver, Annabelle

Année:

2011

Langue:

english

Fichier:

PDF, 716 KB

english, 2011

[ACM Press the 15th ACM international conference - Paphos, Cyprus (2012.10.21-2012.10.25)] Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '12 - A rigorous analysis of AODV and its variants

Höfner, Peter, van Glabbeek, Robert J., Tan, Wee Lum, Portmann, Marius, McIver, Annabelle, Fehnker, Ansgar

Année:

2012

Langue:

english

Fichier:

PDF, 522 KB

english, 2012

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow

McIver, Annabelle, Morgan, Carroll, Rabehaja, Tahiry

Année:

2015

Langue:

english

Fichier:

PDF, 761 KB

english, 2015

Probabilistic predicate transformers

Morgan, Carroll, McIver, Annabelle, Seidel, Karen

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1996

Langue:

english

Fichier:

PDF, 295 KB

english, 1996

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 9450 || Tableau-Based Revision over $$\mathcal {SHIQ}$$ TBoxes

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei

Année:

2015

Langue:

english

Fichier:

PDF, 509 KB

english, 2015

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 9450 ||

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei

Année:

2015

Langue:

english

Fichier:

PDF, 22.02 MB

english, 2015

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 9450 || Verification of Concurrent Programs Using Trace Abstraction Refinement

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei

Année:

2015

Langue:

english

Fichier:

PDF, 469 KB

english, 2015

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 9450 || Using Program Synthesis for Program Analysis

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei

Année:

2015

Langue:

english

Fichier:

PDF, 495 KB

english, 2015

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 9450 || Automated Discovery of Simulation Between Programs

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei

Année:

2015

Langue:

english

Fichier:

PDF, 1.50 MB

english, 2015

Conditioning in Probabilistic Programming

Jansen, Nils, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Olmedo, Federico, Gretz, Friedrich, McIver, Annabelle

Journal:

McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Année:

2015

Langue:

english

Fichier:

PDF, 322 KB

english, 2015

Probabilistic rely-guarantee calculus

Journal:

Alvim, Mario S., Chatzikokolakis, Konstantinos, Mciver, Annabelle, Morgan, Carroll, Palamidessi, Catuscia, Smith, Geoffrey

Année:

2016

Langue:

english

Fichier:

PDF, 869 KB

english, 2016

[IEEE 2014 IEEE 27th Computer Security Foundations Symposium (CSF) - Vienna (2014.7.19-2014.7.22)] 2014 IEEE 27th Computer Security Foundations Symposium - Additive and Multiplicative Notions of Leakage, and Their Capacities

Année:

2014

Langue:

english

Fichier:

PDF, 320 KB

english, 2014

[IEEE 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Lisbon, Portugal (2016.6.27-2016.7.1)] 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Axioms for Information Leakage

Alvim, Mario S., Chatzikokolakis, Konstantinos, McIver, Annabelle, Morgan, Carroll, Palamidessi, Catuscia, Smith, Geoffrey

Année:

2016

Langue:

english

Fichier:

PDF, 538 KB

english, 2016

Privacy in elections: How small is “small”?

McIver, Annabelle, Rabehaja, Tahiry, Wen, Roland, Morgan, Carroll

Journal:

Journal of Information Security and Applications

Année:

2017

Langue:

english

Fichier:

PDF, 2.36 MB

english, 2017

Schedulers and finishers: On generating and filtering the behaviours of an event structure

McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Journal:

Année:

2018

Fichier:

PDF, 962 KB

2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || On Saturation Effects in Coupled Speed Scaling

Année:

2018

Langue:

english

Fichier:

PDF, 534 KB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || A Robust Genetic Algorithm for Learning Temporal Specifications from Data

Année:

2018

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || Biased Processor Sharing in Fork-Join Queues

Année:

2018

Langue:

english

Fichier:

PDF, 374 KB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach

Année:

2018

Langue:

english

Fichier:

PDF, 969 KB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

Année:

2018

Langue:

english

Fichier:

PDF, 462 KB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || Hospital Inventory Management Through Markov Decision Processes @runtime

Année:

2018

Langue:

english

Fichier:

PDF, 454 KB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || Modeling Humans: A General Agent Model for the Evaluation of Security

Année:

2018

Langue:

english

Fichier:

PDF, 892 KB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || Model Checking for Safe Navigation Among Humans

Année:

2018

Langue:

english

Fichier:

PDF, 807 KB

english, 2018

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 11024 (15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings) || Bounded Verification of Reachability of Probabilistic Hybrid Systems

McIver, Annabelle, Morgan, Carroll, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter

Année:

2018

Langue:

english

Fichier:

PDF, 433 KB

english, 2018

A new proof rule for almost-sure termination

Journal:

Proceedings of the ACM on Programming Languages

Année:

2017

Langue:

english

Fichier:

PDF, 967 KB

english, 2017

An axiomatization of information flow measures

Alvim, Mário S., Chatzikokolakis, Konstantinos, McIver, Annabelle, Morgan, Carroll, Palamidessi, Catuscia, Smith, Geoffrey

Journal: